<?php
@header('Content-type: text/html;charset=UTF-8');
require_once('bookmark_sum.php');
session_start();
if (isset($_SESSION['valid_user'])) {
$user_info=$_SESSION['valid_user'];
do_html_header();
do_html_introduce();
do_html_menu($user_info);
do_html_index_content();
}
else{
	printf('<script type="text/javascript">location.href="login.php";</script>');
}
?>